81. Reachability problems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.

رده :
QA76
.
76
.
V47

82. Realization and Modelling in System Theory

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Science (General).

83. Recent Advances in Dynamical Astronomy Proceedings of the NATO Advanced Study Institute in Dynamical Astronomy Held in Cortina D'ampezzo, Italy, August 9-21, 1972.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
QB351
.
T375
2013

84. Recent Developments in Variable Structure Systems, Economics and Biology :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Economics.

رده :
QA402
.
E358
1978

85. Recent advances in differential equations and applications /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Differential equations.,Differential equations.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.

رده :
QA371

86. Robust Nonlinear Control Design

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Differentiable dynamical systems.,Differential Equations.,Mathematics.,Systems theory.

87. Schaum's outline of theory and problems of feedback and control systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Control theory.,Feedback control systems.,Control theory.,Feedback control systems.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.

رده :
TJ216
.
5
.
D57
1995eb

88. Simulation of semiconductor devices and processes Vol. 6

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electrical engineering -- Congresses.,Electrical engineering.,Semiconductors -- Mathematical models -- Congresses.

رده :
TK7871
.
85
H797
1995

89. Single-phase, two-phase and supercritical natural circulation systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Single-phase flow.,Two-phase flow.,Single-phase flow.,TECHNOLOGY & ENGINEERING / Mechanical.,Two-phase flow.

رده :
TJ153

90. Small Viscosity and Boundary Layer Methods

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics.,Differential equations, Partial.,Mathematical physics.,Mathematics.,Surfaces (Physics).

91. Some topics in industrial and applied mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Engineering mathematics, Congresses,Matemaatica aplicada., larpcal

رده :
QA
,
1
,.
S764
,
2007

92. Stability analysis of nonlinear systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Nonlinear theories.,Stability.,System analysis-- Mathematical models.

رده :
QA402

93. Stability and Bifurcation Dynamics of Journal Bearing Rotor Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Engineering,Mechanical engineering

94. Stability and Bifurcation Dynamics of Journal Bearing Rotor Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Engineering,Mechanical engineering

95. Stability of Finite and Infinite Dimensional Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Differential equations, Partial.,Mathematical optimization.,Mathematics.,Systems theory.

96. Stability of nonautonomous differential equations

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Differential equations,، Stability,، System analysis

رده :
QA
3
.
L28
Vol
.
1926

97. Stability of stationary sets in control systems with discontinuous nonlinearities

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع : ، Control theory,، Nonlinear control theory,، Set theory,، System analysis,، Differential equations, Nonlinear,، Engineering mathematics,، Engineering systems

رده :
QA
402
.
3
.
I133
2004

98. Stability of stochastic dynamical systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Differential equations, Congresses,Stability, Congresses,Stochastic systems, Congresses,System analysis, Congresses

99. Stability of stochastic dynamical systems; proceedings of the international symposium organized by the Comtrol Theory Centre, University of Warwick, July 10-14, 1972

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، System analysis,Congresses ، Stochastic processes,Congresses ، Stability,Congresses ، Differential equations

رده :
QA
3
.
L28
no
.
294

100. Stability of stochastic dynamical systems; proceedings of the international symposium organized by the Control Theory Centre, University of Warwick, July 10-14, 1972

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، System analysis,Congresses ، Stochastic systems,Congresses ، Stability,Congresses ، Differential equations

رده :
QA
3
.
L28
no
.
294